def destroy(x: M): Unit = ()